#pragma once

namespace solver
{
	class problem_solver;

	class istrategy
	{
	public:
		virtual int int_to_name(int k) = 0;
		virtual variable_value int_to_spin(int v) = 0;
	};
}
